$\forall$$w$:World. FairFifo $\Rightarrow$ ($\forall$$e$:E. $\neg$first($e$) $\Rightarrow$ loc(pred($e$)) $=$ loc($e$) $\in$ Id)